Semantics of logic

Results: 1541



#Item
581Syntax / Quantification / Predicate logic / Parts of speech / Syntactic categories / Determiner / Generalized quantifier / Discourse representation theory / Singular they / Linguistics / Semantics / Logic

The Strength of the Universal Quantifier in Child Language

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2013-07-01 12:51:01
582Linguistics / Grammatical number / Singular they / Scope / Analytic philosophy / Logic / Quantification / Semantics

An Experimental Investigation of the Semantics and Pragmatics of Specificity

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2013-07-01 13:00:36
583Grammar / Meaning / Semantics / Social philosophy / State space / Function / Nim / Finitary relation / Mathematics / Control theory / Logic

On the Foundations of Computing Deltas Between RDF Models Dimitris Zeginis, Yannis Tzitzikas, and Vassilis Christophides Computer Science Department, University of Crete, GREECE, and Institute of Computer Science, FORTH-

Add to Reading List

Source URL: 139.91.183.30

Language: English - Date: 2008-12-01 20:09:16
584Information science / Non-classical logic / Information / Knowledge representation / Technical communication / Description logic / Modal logic / Modularity / Semantics / Semantic Web / Science / Logic

Day 5 – Advanced OWL and Beyond: Advanced Patterns, Taming the Open World and Incorporating Rules In this course we dig deeper into the murky realm of the “open world.” One of the underpinning principles of the sem

Add to Reading List

Source URL: www.semanticarts.com

Language: English - Date: 2014-12-15 11:49:05
585Mathematics / First-order logic / Predicate / Interpretation / Atomic formula / Function / Logical connective / Mereology / Predicate transformer semantics / Logic / Mathematical logic / Predicate logic

Finite Differencing of Logical Formulas for Static Analysis   

Add to Reading List

Source URL: www.aladdin.cs.cmu.edu

Language: English - Date: 2005-07-03 22:51:50
586Analytic philosophy / Philosophy of language / Philosophical logic / Semiotics / Lexical semantics / Polysemy / Course in General Linguistics / Representation / Sign / Linguistics / Science / Semantics

Tracy C. Mansfield © [removed]L1:W001 Introduction to Clyr’s Ymage Technology

Add to Reading List

Source URL: www.clyr.com

Language: English - Date: 2004-08-01 23:01:24
587Semantics / Philosophy of language / Formal languages / Philosophical logic / Meaning / Principle of compositionality / Gottlob Frege / Formal semantics / Categorial grammar / Logic / Philosophy / Analytic philosophy

The Development of Montague Grammar Martin Stokhof ILLC/Department of Philosophy Universiteit van Amsterdam

Add to Reading List

Source URL: udrive.oit.umass.edu

Language: English - Date: 2011-10-03 12:48:53
588Semantics / Ethology / Analogy / Cognition / Qualitative Reasoning Group / Cyc / Inference / Transfer of learning / Reasoning / Logic / Cognitive science

AAAI Proceedings Template

Add to Reading List

Source URL: www.qrg.northwestern.edu

Language: English - Date: 2011-09-19 18:13:17
589Philosophy of language / Semantics / Logic / Communication / Body language / Punctuation / Embers / Emoticon / Analytic philosophy / Meaning / Philosophical logic

“SEND REINFORCEMENTS, WE’RE GOING TO ADVANCE!” Angelo Coco, FBA Accredited Adviser How more clearly, could the General have worded his message to the troops? Alas, by the time it went from the officers through the

Add to Reading List

Source URL: www.fambiz.org.au

Language: English - Date: 2014-12-16 19:08:09
590Modal logic / Model theory / Symbol / Kripke semantics / Epistemic modal logic / Interpretation / Dynamical system / Logic / Mathematical logic / Philosophical logic

Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2013-08-20 15:39:34
UPDATE